(deftemplate arca
    (slot nume)
    (slot inaltime)
    
    )

(assert (arca(nume soarece)(inaltime 1)))
(assert (arca(nume veverita)(inaltime 2)))
(assert (arca(nume pisica)(inaltime 3)))
(assert (arca(nume caine)(inaltime 4)))
(assert (arca(nume vaca)(inaltime 5)))
(assert (arca(nume elefant)(inaltime 6)))
(facts)
(run)
